Job position in Computer Science, programming language semantics & software engineering.

This 9 months research engineer position is open on the campus of the University of Orléans, France, in the context of the DeSSUF project.

=The DeSSUF Project=

In the Internet of Things (IoT), billions of devices are connected. Very often, these devices are programmed with the C programming language, mostly because of the limited hardware resources of such objects. However, C is error-prone, and software bugs make devices both unreliable and vulnerable to cyber-attacks. Several cases of massive cyber-attacks using IoT devices are documented. Moreover, the IoT is more and more deployed in areas such as energy, transportation and health: it is of paramount importance such systems are reliable, safe and secure. The goal of the DeSSUF project is the design, implementation, and the evaluation of the safety, security and ease-of-use of a new programming language for the IoT.

This is a joint project between the University of Orleans, LIFO, France and the University of Maribor, LPM, Slovenia both members of the Athena European University (http://www.athenaeuropeanuniversity.eu).

=Job requirements=

Required skills:
- Master's degree in Computer Science
- A background in formal methods and formal programming languages semantics
- Experience with source management

Preferred skills:
- Experience with the Coq proof assistant
- Experience with the K Framework
- A background in Program Comprehension in Software Engineering

=Application=

To apply send me a resume and a cover letter to Frederic.Loulergue@univ-orleans.fr. 

Application deadline: January 31, 2022.